"Jifeng He" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

Zhiming Liu, He Jifeng

Категория: Математика, Прикладная математика

19.11 Mb

#2

Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Jifeng He, Masahiko Sato

3.85 Mb

#3

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006,

Zhiming Liu, Jifeng He

10.53 Mb

#4

Unifying theories of programming

C.A.R. Hoare, He Jifeng

1.08 Mb

#5

Unifying theories of programming

C.A.R. Hoare, He Jifeng

10.82 Mb